Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
971	Practical Application of Formal Methods in Modeling and Simulation D. Richard Kuhn Dan Craigen, Mark Saaltink Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-26 01:00:00 Network architecture Internet protocols Internet standards Remote administration software Software testing Telnet Transmission Control Protocol Formal verification Communications protocol Computing Formal methods Internet
972	ES&S Model 100 System Operations Procedures Firmare Version[removed]Hardware revision 1.3 Add to Reading List Source URL: www.sos.idaho.gov Language: English - Date: 2014-03-10 16:22:35 Elections Technology Election technology Election Systems & Software Ballot Election Assistance Commission Provisional ballot Verification and validation Unity Politics Electronic voting Government
973	MINNESOTA DEPARTMENT OF TRANSPORTATION STATE AID FOR LOCAL TRANSPORTATION GROUP Technical Memorandum No. 00-SA-03 March 8, 2000 TO: Add to Reading List Source URL: www.dot.state.mn.us Language: English - Date: 2014-04-09 15:03:21 Systems engineering Science Quality assurance Acceptance testing Verification and validation Certification Package testing Evaluation Technology Software testing
974	Your Partner in Success! Systems Engineering Qualis provides a full spectrum of engineering services to the US Air Force including systems, subsystems, and component engineering. Add to Reading List Source URL: www.qualis-corp.com Language: English - Date: 2013-04-24 11:08:23 Systems science Occupations Verification Software development process Human factors Knowledge Systems engineering Science Military acquisition
975	VERIFICATION TEST PLAN FOR Hydro Compliance Management, Inc. Hydro-Kleen Filtration System Add to Reading List Source URL: www.epa.gov Language: English - Date: 2014-08-05 13:12:35 Technology Environment Environmental Technology Verification Program Environmental technology Software testing Business NSF International Test plan Validation Pharmaceutical industry Validity Systems engineering
976	Understanding the Communications and Information Needs Add to Reading List Source URL: www.ops.fhwa.dot.gov Language: English - Date: 2007-09-19 07:29:32 Technology System testing Acceptance testing Test plan Validation Software development process Functional testing Unit testing Functional verification Software testing Software development Manufacturing
977	I:ranet2irectivesking091012s70317.wpd Add to Reading List Source URL: www.okladot.state.ok.us Language: English - Date: 2012-03-06 09:52:54 Science Measurement Acceptance testing Verification and validation Environmental stress screening Software testing Tests Evaluation
978	QUALITY ASSURANCE ISSUES WITH GEOTECHNICAL DATABASES Robert Nigbor Jennifer Swift Jianping Hu USC Civil Engineering Add to Reading List Source URL: www.cosmos-eq.org Language: English - Date: 2002-02-17 19:09:44 Business Technology NQA-1 Quality control Quality management system Verification Audit Software quality control CSA Z299 Evaluation Quality assurance Systems engineering
979	Final Sears Kenmore Ultrafilter 500 Microbial Agents Repor… Add to Reading List Source URL: www.epa.gov Language: English - Date: 2014-08-05 13:20:03 Water pollution NSF International Biology Environmental Technology Verification Program Bacteriology Software testing PH Bacteria Water treatment Microbiology Chemistry Environment
980	Combined List Leader Membership Verification Online Leader Management The goal of the leader membership verification process (LMVP) is to be certain that all leaders are AMC members in good standing as of their trip dat Add to Reading List Source URL: www.outdoors.org Language: English - Date: 2013-12-30 10:42:14 GUI widget Leader Software Computing Comics Scout Leader Scouting Form

UPDATE